1. Component-Based Software Engineering
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
2. Dependable Software Engineering
پدیدآورنده : \ Xuandong Li , Zhiming Liu , Wang Yi (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a04,a04,Software engineering -- Congresses.,Software engineering.,نرمافزار -- مهندسی-- کنگره‌ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
758
.
D4
2015
E-Book
,
3. Engineering Theories of Software Intensive Systems
پدیدآورنده : \ Edited by Manfred Broy...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses. ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
4. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
5. Fundamentals of Software Engineering.
پدیدآورنده : \ Mehdi Dastani , Marjan Sirjani (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,هوش مصنوعی,a04,a04,Software engineering -- Congresses.,Programming Techniques.,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
F8
2015
E-Book
,
6. Innovations and Advanced Techniques in Computer and Information Sciences and Engineering
پدیدآورنده : \ Edited by Tarek Sobh
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer engineering -- Congresses.,Software engineering -- Congresses,مهندسی کامپیوتر -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
7. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : [Edited by] Hamido Fujita, Guido Guizzi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
8. Knowledge Engineering and Semantic Web
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Semantic Web -- Congresses,Semantic Web,نرمافزار -- مهندسی -- کنگره‌ها,وب معناشناختی -- کنگره‌ها,وب معناشناختی
رده :
E-Book
,
9. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
10. Proceedings of 5th International Conference in Software Engineering for Defence Applications
پدیدآورنده : \ [Edited by] Paolo Ciancarini...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
11. SOFSEM 2015
پدیدآورنده : \ [edited by] Giuseppe F. Italiano...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2015
E-Book
,
12. Search-Based Software Engineering.
پدیدآورنده : \ Márcio Barros , Yvan Labiche (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S4
2015
E-Book
,
13. Software Engineering.
پدیدآورنده : \ Bertrand Meyer , Martin Nordio (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Software engineering.,نرمافزار -- مهندسی-- کنگره‌ها ,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
758
.
S62
2015
E-Book
,
14. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
پدیدآورنده : \ Roger Lee Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Artificial intelligence,نرمافزار,هوش مصنوعی,-- Congresses,-- Congresses,-- کنگره‌ها,-- کنگره‌ها, -- مهندسی,a03,a04,a03,a04
رده :
E-Book
,
15. Software Engineering Research, Management and Applications
پدیدآورنده : \ Roger Lee Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a03,a03,Computer software -- Development -- Congresses.,نرمافزار -- تولید -- کنگره ها
رده :
E-Book
,
16. Software Engineering Techniques
پدیدآورنده : \ Zbigniew Huzar...[et al.] (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
17. Software Engineering Trends and Techniques in Intelligent Systems
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Artificial intelligence -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها,هوش مصنوعی -- کنگره‌ها
رده :
E-Book
,
18. Software Engineering and Formal Methods
پدیدآورنده : \ [edited by] Carlos Canal, Akram Idani.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
19. Testing software and systems.
پدیدآورنده : \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرمافزار -- آزمایش -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
T48
I34
2015
E-Book
,
20. Trends and Applications in Software Engineering
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Software engineering,نرمافزار -- مهندسی -- کنگره‌ها,نرمافزار -- مهندسی
رده :
E-Book
,
